<?php
function echo() {
	echo "hello world";
}
?>